81. Concise guide to computation theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity. ; Machine theory. ; Computable functions. ;
82. Connecting with computability :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions ;
83. Discrete structures, logic, and computability
پدیدآورنده : / James L. Hein
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science,Data structures (Computer science),Logic, Symbolic and mathematical,Computable functions
رده :
QA76
.
H383
1995
84. Effective mathematics of the uncountable /
پدیدآورنده : edited by Noam Greenberg (Victoria University of Wellington), Joel David Hamkins (City University of New York), Denis Hirschfeldt (University of Chicago), Russell Miller (City University of New York).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions.,Model theory.
85. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, christos H. Papadimitriou
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Computable functions
رده :
515
.
25
L674e
86. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H413
87. Foundations of Computation theory
پدیدآورنده : Akeo Adachi
موضوع : Computable functions,Machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
88. Handbook of computability and complexity in analysis
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions ;
89. Handbook of computability theory
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
H36
1999
90. Handbook of computability theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions. ;
91. Hilbert's tenth problem
پدیدآورنده : / Yuri V. Matiyasevich
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Hilbert's tenth problem,Computable functions
رده :
QA242
.
M4213
1993
92. Hilbert's tenth problem
پدیدآورنده : Matiقi?asevich, قI?U. V. )قI?Uri?i V.(
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Hilbert's tenth problem,، Computable functions
رده :
QA242
.
M4213
1993
93. Hilbert's tenth problem
پدیدآورنده : Matiiasevich, Iurii V.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Hilbert's tenth problem,، Computable functions
رده :
QA
242
.
M25D413
94. Induction, bounding, weak combinatorial principles, and the homogeneous model theorem
پدیدآورنده : Hirschfeldt, Denis Roman
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Reverse mathematics,، Computable functions,، Decidability )Mathematical logic(
رده :
QA
3
.
A475
no
.
1187
95. Interactive models of computation and program behavior
پدیدآورنده : Pierre-Louis Curien...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Computable functions,، Computational intelligence
رده :
QA
3
.
P3
No
.
27
96. Introduction to languages and the theory of computation
پدیدآورنده : / John C. Martin
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Sequential machine theory,Computable functions
رده :
QA267
.
5
.
S4M29
2003
97. Introduction to languages and the theory of computation
پدیدآورنده : Martin, John C.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Sequential machine theory , Computable functions
رده :
QA
267
.
5
.
S4
M29
1997
98. Introduction to languages and the theory of computation
پدیدآورنده : Martin, John C
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Sequential machine theory,Computable functions
رده :
QA
267
.
5
.
S4
M29
1991
99. Introduction to languages and the theory of computation
پدیدآورنده : Martin, John Calhoun, 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Sequential machine theory,، Computable functions
رده :
QA
267
.
5
.
S4M3
1997
100. Le dixieme probleme de Hilbert : son indecidabilite
پدیدآورنده : Matiiasevich, Iurii V.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Hilbert's tenth problem,، Computable functions
رده :
QA
242
.
M25D414
1995
